A representation of stably compact spaces, and patch topology
نویسندگان
چکیده
This note presents a concrete representation of stably compact spaces. This is used to give a simple, and predicative, description of the patch topology of a stably compact space (J. Pure Appl. Algebra, to appear). c © 2002 Elsevier B.V. All rights reserved.
منابع مشابه
The probabilistic powerdomain for stably compact spaces
This paper reviews the one-to-one correspondence between stably compact spaces (a topological concept covering most classes of semantic domains) and compact ordered Hausdorff spaces. The correspondence is extended to certain classes of real-valued functions on these spaces. This is the basis for transferring methods and results from functional analysis to the non-Hausdorff setting. As an applic...
متن کاملGeometric theories of patch and Lawson topologies
We give geometric characterisations of patch and Lawson topologies in the context of predicative point-free topology using the constructive notion of located subset. We present the patch topology of a stably locally compact formal topology by a geometric theory whose models are the points of the given topology that are located, and the Lawson topology of a continuous lattice by a geometric theo...
متن کاملStably Compact Spaces and the Probabilistic Powerspace construction
We put forward a revised definition of stably compact spaces which allows us to show their equivalence with Nachbin’s compact ordered spaces in an entirely elementary fashion. We then exhibit some constructions for stably compact spaces which apparently have not appeared in the literature before. These constructions allow us to show that the set of (sub-)probability valuations can be equipped w...
متن کاملA Class of compact operators on homogeneous spaces
Let $varpi$ be a representation of the homogeneous space $G/H$, where $G$ be a locally compact group and $H$ be a compact subgroup of $G$. For an admissible wavelet $zeta$ for $varpi$ and $psi in L^p(G/H), 1leq p <infty$, we determine a class of bounded compact operators which are related to continuous wavelet transforms on homogeneous spaces and they are called localization operators.
متن کاملStable Compactifications of Frames
In a classic paper, Smirnov [14] characterized the poset of compactifications of a completely regular space in terms of the proximities on the space. Later, Smyth [15] introduced the notion of a stable compactification of a T0-space and described them in terms of quasi-proximities on the space. Banaschewski [1] formulated Smirnov’s results in the pointfree setting, defining a compactification o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 305 شماره
صفحات -
تاریخ انتشار 2003